System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
961	Instance Chains: Type Class Programming Without Overlapping Instances J. Garrett Morris Mark P. Jones Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-08-03 11:56:21 Computing Data types Functional languages Model theory Functional programming Type class Function Type system Tagged union Software engineering Type theory Programming language theory
962	Major Technique: Secondary Storage UNTITLED by Weir, Noble Major Technique: Secondary Storage Version[removed]:19 - 9 Add to Reading List Source URL: www.smallmemory.com Language: English - Date: 2000-08-03 08:00:00 Programming language implementation Paging Operating system Memory leak Library Computer program Database Executable Resource fork Computing Virtual memory Memory management
963	Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:28:43 Data types Procedural programming languages Cross-platform software Functional languages Lisp programming language Java virtual machine Type system ALGOL 68 List Computing Software engineering Programming language theory
964	Modular Protections against Non-control Data Attacks Cole Schlesinger† Karthik Pattabiraman‡ † Princeton University {cschlesi,dpw}@cs.princeton.edu Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-11-02 12:05:10 Data types Procedural programming languages Type theory Programming language semantics C++ Denotational semantics Type system Pointer C++ classes Software engineering Programming language theory Computing
965	Scalable Analysis of Variable Software Jörg Liebig, Alexander von Rhein University of Passau, Germany Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-07-15 05:00:56 C programming language Analysis of variance Statistical tests Source code Sampling Survey methodology C preprocessor F-test Type system Computing Software engineering Computer programming
966	The GEM Optimizing Compiler System 1 Abstract Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2003-03-18 13:35:09 Compiler construction Compilers Compiler Porting Program optimization Interprocedural optimization Pascal Code generation Open64 Software Computing Programming language implementation
967	Link¨ oping Studies in Science and Technology Thesis No[removed]The Use of Case-Based Reasoning in a Human-Robot Dialog System Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:51:19 User interfaces Multimodal interaction Dialog system Systems engineering Dialogue Open Programming Language Dialog Humanâ€“computer interaction Software Computing
968	A Comparison of Product-based, Feature-based, and Family-based Type Checking Sergiy Kolesnikov Alexander von Rhein Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-25 17:43:12 Software development Technology Model checking Type system Feature model Prototype Programming language Software bug Management Business Product family engineering Product management
969	A Platform Independent Source Code Engineering System Martin Neath [removed] Texas Instruments Incorporated Information Technology Group Austin, TX Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2009-05-10 11:11:24 Programming language implementation C programming language Cross-platform software Compiling tools Imake Preprocessor C preprocessor Revision Control System Make Computing Software Build automation
970	RAD Studio XE2 Feature Matrix \| Develop for Windows, Mac, mobile and Web Add to Reading List Source URL: edn.embarcadero.com Language: English - Date: 2011-09-21 20:45:14 Delphi programming language Borland Pascal Embarcadero Delphi Mac OS X C++Builder X Window System Object Pascal DbExpress Software Computing Integrated development environments

UPDATE